-
1 syntactically complete
Большой англо-русский и русско-английский словарь > syntactically complete
-
2 syntactically complete
Математика: синтаксически полныйУниверсальный англо-русский словарь > syntactically complete
-
3 syntactically complete
мат.English-Russian scientific dictionary > syntactically complete
-
4 syntactically complete system
Математика: синтаксически полная системаУниверсальный англо-русский словарь > syntactically complete system
-
5 syntactically complete system
English-Russian scientific dictionary > syntactically complete system
-
6 complete
1) выполнять; завершать; заканчивать2) комплектовать, укомплектовывать3) полный, законченный, завершённый4) совершенный, абсолютный• -
7 system
1) система; комплекс2) совокупность•- absolutely consistent system - absolutely direct indecomposable system - absolutely free system - absolutely irreducible system - absolutely isolated system - allowable coordinate system - almost linear system - ample linear system - artificial feel system - automatic block system - automatic deicing system - binary relational system - binary-coded decimal system - block tooling system - Cartesian coordinate system - completely controllable system - completely ergodic system - completely hyperbolic system - completely identifiable system - completely integrable system - completely irreducible system - completely regular system - completely stable system - completely stratified system - complex number system - conical coordinate system - derivational formal system - differential equation system - differential selsyn system - digital counting system - digital transmission system - elliptic coordinate system - elliptic cylindrical coordinate system - externally inconsistent system - finite state system - finitely axiomatizable system - finitely presented system - fully characteristic quotient system - fundamental system of solutions - hydraulic lift system - integrated switching system - isomorphically embedded system - kernel normal system - linearly dependent system - linearly independent system - live hydraulic system - locking protection system - meteor-burst communication system - modular programming system - parabolic cylindrical coordinate system - permanent four-wheel drive system - pure independent system - radio telephone system - reactor protection system - real number system - receiver-amplifier crioelectric system - remote-cylinder hydraulic system - semantically consistent system - simply consistent system - simply incomplete system - simply ordered system - spherical coordinate system - strongly multiplicative system - structurally stable system - sufficiently general coordinate system - system of frequency curves - system of rational numbers - time multiplex system - time-division multiplex system - uniformly complete system - univalent system of notation - universal system of notation - weakly closed system - weighted number system -
8 синтаксически полный
Большой англо-русский и русско-английский словарь > синтаксически полный
См. также в других словарях:
Completeness — In general, an object is complete if nothing needs to be added to it. This notion is made more specific in various fields. Contents 1 Logical completeness 2 Mathematical completeness 3 Computing 4 … Wikipedia
Negationstreu — (engl.: negation complete) ist eine Eigenschaft von Folgen Φ von prädikatenlogischen Ausdrücken. Diese Eigenschaft wird in Verwechslungsgefahr zu andersgemeinten Begriffen der Vollständigkeit auch syntaktisch vollständig (in der… … Deutsch Wikipedia
completeness — See completely. * * * Concept of the adequacy of a formal system that is employed both in proof theory and in model theory (see logic). In proof theory, a formal system is said to be syntactically complete if and only if every closed sentence in… … Universalium
Kireji — is the term for a special category of words used in certain types of Japanese traditional poetry. It is regarded as a requirement in traditional haiku, as well as in the hokku, or opening verse, of both classical renga and its derivative renku… … Wikipedia
heroic couplet — n. a rhyming pair of iambic pentameter lines, first used extensively in English by Chaucer and later developed as a syntactically complete unit, esp. by Dryden and Pope (Ex.: “In every work regard the writer s end, Since none can compass more… … English World dictionary
verbid — [vʉr′bid] n. [ VERB + ID] Gram. a word or form, as a gerund, infinitive, or participle, that functions in part as a verb, as in taking an object, but cannot form a syntactically complete sentence (Ex.: watching television can be tiring) … English World dictionary
HEBREW GRAMMAR — The following entry is divided into two sections: an Introduction for the non specialist and (II) a detailed survey. [i] HEBREW GRAMMAR: AN INTRODUCTION There are four main phases in the history of the Hebrew language: the biblical or classical,… … Encyclopedia of Judaism
Programming language — lists Alphabetical Categorical Chronological Generational A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that… … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Theory (mathematical logic) — This article is about theories in a formal language, as studied in mathematical logic. For other uses, see Theory (disambiguation). In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. Usually… … Wikipedia
linguistics — /ling gwis tiks/, n. (used with a sing. v.) the science of language, including phonetics, phonology, morphology, syntax, semantics, pragmatics, and historical linguistics. [1850 55; see LINGUISTIC, ICS] * * * Study of the nature and structure of… … Universalium